Petri网的活跃性和非死锁性的判定算法及证明

用Petri网分析系统的逻辑特性时很重要的是分析它的活跃性、非死锁性及安全性。在此提出两个算法—Petri网深度优先算法和活跃性判定算法,并加以证明。     

遥感数据处理任务调度的Petri网模型及求解算法

为了对多源遥感数据的处理任务进行有效的调度和管理,提高处理资源的利用率,根据遥感数据处理任务调度问题的特点,采用Petri网对该问题进行形式化描述,建立了遥感数据处理任务调度的数学模型,根据该问题的多目标特性,采用蚁群算法进行求解.给出仿真实例,将蚁群算法的求解结果与启发式算法和模拟退火算法的求解结果进行比较,验证算法...     

基于随机时间影响网络的联合火力打击方案评估

联合火力打击方案评估是作战筹划和指挥决策的核心问题之一,对于打击手段的选择、战法的运用等具有重要的影响,其难点是在不确定条件下有效地建立作战方案到使命目标达成效果之间的映射关系.作战仿真方法往往存在突出的低效率问题,而解析模型的方法难以充分反映目标体系的内部联系和整体效果.目前概率推理模型广泛应用于军事领域的作战方案评...     

OCPN装备综合保障工作流引擎设计

针对装备综合保障工作流建模要求,构建了对象有色Petri网(Object-Oriented Colored Petri Net,OCPN)模型,给出该模型的形式化定义。结合装备使用过程综合保障工作,建立基于OCPN的工作流模型。根据工作流的执行过程,进行了工作流引擎体系结构以及相关类的设计,为工作流模型的计算机化以及工作流管理系统设计与实现提供了一种新的思路。     

高炮旅(团)作战面向对象Petri网模型

概要分析了高炮旅(团)指挥控制与信息处理分发过程,对基本Petri进行扩展构建了面向对象Petri网模型,采用其分层次构建了高炮旅(团)作战OPN模型,较好地实现了对传统指控体制下高炮群作战与信息分发过程的静态与动态描述,为下一步具体仿真实现,找出现有传统指控体制存在的薄弱环节,进行相应改进提供了基础和依据。     

基于CPN建模的行动方案开发与分析系统设计

协助和支持军事计划人员制订和分析作战计划的建模与仿真能力是军方的现行需求,而行动方案的开发与分析则是作战计划建模与仿真的重点。针对作战计划过程期间开发的军事任务的排序与调度问题,设计了一个行动方案开发与分析系统,系统采用客户机-服务器体系结构,运用基于有色Petri网建模的军事计划领域的概念表示法,并使用状态空间分析技术完成军事任务的自动化排序与调度。军事计划人员通过图形用户界面使用系统,在面对紧急突发事件时,可以快速及时地开发出适当可行的COA,并对COA进行逻辑可行性分析。     

C3I系统仿真及仿真环境研究

首先讨论了C3I系统开发中存在的问题并提出解决这些问题的重要性,然后从C3I系统描述模型和仿真环境两个方面,介绍了国内外对于C3I系统仿真的研究现状和发展趋势.最后介绍了我们正在研制的基于对象Petri网的仿真演示环境的特点以及设计和实现方法.     

校园网建设中的几个问题

通过介绍我院在建设校园网过程中的基本做法和初步经验,对网络技术特别是1000M以太网技术,进行了简单分析和研究,提出了基于Intel网络设备的千兆校园网解决方案,强调指出:建设先进高效的校园网,开展多媒体网络教学,创建信息化教学环境,是信息时代军事教育训练改革的必由之路。     

日照条件下伪装网热红外迷彩研究

采用热像仪记录伪装网样品不同时段的热图,分析了日照对伪装网热迷彩的影响.伪装网的热迷彩效果受装饰布太阳能吸收率影响非常大,甚至可以抵消或超过发射率差值因素.实验采用的伪装网深绿装饰布太阳能吸收率较高,热红外发射率比土黄装饰布低0.11以内时,在日照下深绿斑块辐射温度与土黄斑块接近或超过土黄斑块;深绿装饰布热红外发射率比土黄低0.27时,可保证在夏季的强日照下深绿斑块辐射温度低于土黄斑块,且有较大差值.     

神经网络模型预测函数控制方法

在建立基于神经网络模型的非线性预测函数控制系统结构和基于BP网络非线性预测模型的基础上,提出了基于神经网络模型的非线性预测函数控制方法,并对其优化法等进行了讨论。通过与PID方法的仿真比较表明,预测函数控制方法具有抑制干扰能力强、跟踪性能好的特点,能够满足一些非线性系统的控制要求。